منابع مشابه
Countable Ordinals
This development defines a well-ordered type of countable ordinals. It includes notions of continuous and normal functions, recursively defined functions over ordinals, least fixed-points, and derivatives. Much of ordinal arithmetic is formalized, including exponentials and logarithms. The development concludes with formalizations of Cantor Normal Form and Veblen hierarchies over normal functions.
متن کاملImages of the Countable Ordinals
We study spaces that are continuous images of the usual space [0, ω1) of countable ordinals. We begin by showing that if Y is such a space and is T3 then Y has a monotonically normal compactification, and is monotonically normal, locally compact and scattered. Examples show that regularity is needed in these results. We investigate when a regular continuous image of the countable ordinals must ...
متن کاملPartitioning Pairs of Countable Sets of Ordinals
Lemma 1. There are ω1 disjoint stationary subsets of ω1. Proof. Let Cub(ω1) = {X ⊆ ω1 : ∃C ⊆ X(C is club on ω1)}. Then Cub(ω1) is countably complete filter. Its dual ideal Cub (ω1) = {X ⊆ ω1 : ∃X ′ ∈ Cub(ω1)(X = ω1\X ′)} is countably complete and contains all singletons and so all countable subsets of ω1. Recall also that X ⊆ ω1 is stationary if and only if X / ∈ Cub(ω1). For every ρ < ω1 let f...
متن کاملWalks on Countable Ordinals and Selective Ultrafilters
In our previous work we have introduced filters on the set of countable ordinals as invariants to standard characteristics of walks in this domain. In this note we examine their projections to the set of natural numbers.
متن کاملMore on Partitioning Triples of Countable Ordinals
Consider an arbitrary partition of the triples of all countable ordinals into two classes. We show that either for each finite ordinal m the first class of the partition contains all triples from a set of type ω +m, or for each finite ordinal n the second class of the partition contains all triples of an nelement set. That is, we prove that ω1 → (ω + m,n)3 for each pair of finite ordinals m and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2010
ISSN: 0168-0072
DOI: 10.1016/j.apal.2009.12.007